COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Index of slides
C00003 ENDMK
C⊗;
Index of slides
put refiling numbers on slides

applic.sli[f89,jmc]	Applications of formalizing common sense
ALGOL.SLI[F89,JMC]	Algol 48 and Algol 50
common.sli[e89,jmc]	The common sense informatic situation
elepha.sli[e89,jmc]	Elephant 2000 airline reservation program
FORMAL.SLI[F89,JMC]	Formalizing common sense as an AI project
glasgo.sli[e89,jmc]	Sit calc with unexpected obstacle
TOOLS.SLI[F89,JMC]	Tools for formalizing common sense
glasgo.sli[e89,jmc]	Overcoming an unexpected obstacle